
body, textarea {
	font-family: 'Trebuchet MS', 'Helvetica', sans-serif;
	line-height: 200%;
	margin: 0;
}

body { padding: 10px 20px; }

body pre {
	margin-left: -2em;
	margin-right: -2em;
	padding: 1em 2em;
}

body hr {
	margin-left: -2em;
	margin-right: -2em;
	border: 1px solid silver;
	height: 1px;
}

body * * {
	margin-left: 0;
	margin-right: 0;
}

h1 {
	font-family: 'Georgia', serif;
	color: #504685;
	text-shadow: black 2px 2px 1px;
}

h2, h3, h4 { margin-top: 2em; }

em { font-style: normal; font-weight: bolder; }
strong { background-color: #eee; }

.section { padding-top: 0.5em; }
.section h1 { display: inline; }

.section .func_link {
	display: inline;
	font-size: smaller;
	color: blue;
	cursor: pointer;
}
.section .func_link:active, .section .func_link:focus { color: red; }
.section>.func_link:before { content: '['; }
.section>.func_link:after { content: ']'; }

pre {
	background-color: black;
	margin-left: -20px;
	margin-right: -20px;
	padding: 20px;
}

p code { background-color: #efefef; }
pre code { color: silver; }

fieldset {
	border: none;
}

textarea {
	width: 100%;
	height: 75%;
}
